package fmse.uaic.k.configuration_abstraction.data_structures;

import fmse.uaic.k.configuration_abstraction.abstract_classes.KAbstractTree;

public class ConfigurationKTree extends KAbstractTree {
	ConfigurationKNode root;

	public ConfigurationKTree(ConfigurationKNode root) {
		super();
		this.root = root;
	}
}
